Wyniki
-
On some intuitionistic modal logics
Hiroakira Ono
Bulletin of the Section of Logic , 6 /4 (1977) s. 182-185 -
Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK
Takahito Aoto, Hiroakira Ono
Bulletin of the Section of Logic , 23 /3 (1994) s. 104-112